Applied Artificial Intelligence, 23:758–788 Copyright © 2009 Taylor & Francis Group, LLC ISSN: printonline DOI: VERIFICATION OF DISTRIBUTED FIREWALLS CONFIGURATION

Source URL: www.csc.kth.se

• Mathematical logic
• Science
• Data security
• Distributed firewall
• Tbox
• Firewall
• Abox
• Axiom
• Description logic
• Computer network security
• Logic
• Ontology

DECOMPOSITION OF COMPLEX DECISION PROBLEMS WITH APPLICATIONS TO ELECTRICAL POWER SYSTEM PLAJrnING by

Source URL: www.cazalet.com

• Applied mathematics
• Algorithm
• Mathematical logic
• Theoretical computer science
• Decision problem
• John von Neumann
• Mathematical optimization
• Economic model
• Mathematical economics
• Mathematics
• Operations research
• Science

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.paultaylor.eu

• Theory of computation
• Mathematical logic
• General topology
• Functional analysis
• Computable number
• Computable function
• Continuous function
• Baire space
• Topological space
• Computability theory
• Mathematics
• Topology

UNEDITED VERSION. The final version is to appear in the International Journal of Green Economics, 2009 Catastrophic Risks Graciela Chichilnisky December 2008 revised July 2009

Source URL: chichilnisky.com

• Mathematics
• Decision theory
• Game theory
• Z notation
• Utility
• Expected utility hypothesis
• S
• Axiom of choice
• Axiom
• Logic
• Mathematical logic
• Formal systems

esting unit root in Smooth Transition Autoregressive (STAR) models

Source URL: www.statistics.du.se

• Deduction
• Normal distribution
• Entailment
• Distribution
• Model theory
• Logic
• Mathematical analysis
• Metalogic

am_econometrica_2007_montecarlo_6.out - Notepad

Source URL: individual.utoronto.ca

• Algorithm
• Mathematical logic
• Theoretical computer science

Performance analysis of OFDM modulation on indoor broadband PLC channels

Source URL: www.environmentalsystemsresearch.com

• Fuzzy set
• Defuzzification
• Membership function
• Water quality
• Environmental impact assessment
• Quality assurance
• Fuzzy logic
• Logic
• Mathematical logic

Microsoft Wordfinal

Source URL: journals.yu.edu.jo

• Fuzzy logic
• Calculus
• Continuous function
• Metric space
• T-norm
• Equicontinuity
• Function
• Continuous mapping theorem
• Limit of a function
• Mathematics
• Mathematical analysis
• Functions and mappings

Under consideration for publication in Math. Struct. in Comp. Science Classical Linear Logic of Implications MASAHITO HASEGAWA Research Institute for Mathematical Sciences, Kyoto University, KyotoJapan and

Source URL: www.kurims.kyoto-u.ac.jp

From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief Thomas Bolander Informatics and Mathematical Modelling Technical University of Denmark

Source URL: www.imm.dtu.dk